Quantifieur logique (n.m.)

en logique, expression (comme "quel que", "tout", "aucun", "il existe") qui fournit une quantification à une variable dans une expression logique.